<?php
if (!isset($_SESSION["manager_name"])) {
	$_SESSION = array();// すべてのセッション変数のクリア
	session_destroy();// セッション情報を破棄
	header("Location: manager_login.php");
}
?>